Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
51	Parametric Quantifiers for Dependent Type Theory ANDREAS NUYTS, KU Leuven, Belgium ANDREA VEZZOSI, Chalmers University of Technology, Sweden DOMINIQUE DEVRIESE, KU Leuven, Belgium Polymorphic type systems such as System Add to Reading List Source URL: people.cs.kuleuven.be - Date: 2017-07-28 06:55:52
52	Invited talk at TLDI’12 Towards Concurrent Type Theory Lu´ıs Caires Frank Pfenning Add to Reading List Source URL: www.cs.cmu.edu - Date: 2011-11-30 14:05:08
53	Revisiting the categorical interpretation of dependent type theory Pierre-Louis Curien πr2 team, PPS Laboratory, CNRS, Universit´e Paris Diderot, and INRIA Richard Garner Macquarie University, Sydney Add to Reading List Source URL: perso.ens-lyon.fr - Date: 2013-03-14 09:51:59
54	Cubical Type Theory Anders M¨ ortberg (jww C. Cohen, T. Coquand, and S. Huber) Institute for Advanced Study, Princeton Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:37:25
55	Type Inclusion Constraints and Type Inference Edward L. Wimmers Alexander Aiken IBM Almaden Research Center IBM Almaden Research Center 650 Harry Rd., San Jose, CA 95120 Add to Reading List Source URL: theory.stanford.edu - Date: 2014-08-19 20:12:02
56	EACL14th Conference of the European Chapter of the Association for Computational Linguistics Proceedings of the Workshop on Type Theory and Natural Add to Reading List Source URL: www.aclweb.org - Date: 2014-04-18 10:22:16
57	A Model of Cubical Type Theory in Nuprl Mark Bickford Cornell University, Computer Science July 13, 2016 Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:34:55
58	Homotopy Type Theory in Lean Floris van Doorn Department of Philosophy Carnegie Mellon University leanprover.github.io Add to Reading List Source URL: www.math.ias.edu - Date: 2016-07-28 14:38:46
59	Names and Binding in Type Theory Ulrich Schöpp NI VER Add to Reading List Source URL: www2.tcs.ifi.lmu.de - Date: 2006-05-08 08:52:35